Смотреть больше слов в «Англо-українському словнику технічних термінів»
Виконувана специфікація (складена за типом програм з використанням мови специфікацій)
выполняемая спецификация (составленная по типу программ с использованием языка спецификаций)